On Presentations of Commutative Monoids
نویسندگان
چکیده
In this paper, all the monoids considered are commutative. If S is a monoid generated by {m1, . . . ,mn}, then S is isomorphic to a quotient monoid of N by the kernel congruence σ of the map φ : N → S, φ(k1, . . . , kn) = ∑n i=1 kimi. Under this setting, a finite presentation for S is a finite subset ρ of Nn×Nn such that the congruence generated by ρ is equal to σ. Rédei proves in [5] that every congruence on N is finitely generated, and so that every finitely generated monoid is finitely presented. Of all the subsets which generate σ, we are interested in those which have a minimal cardinality and therefore, we will call them presentations of minimal cardinality. A congruence σ on N is said to be reduced if the quotient monoid N/σ is reduced (i.e. the only unit is the zero element). If M is a subgroup of Z, then we define the set
منابع مشابه
Principal Ideals of Finitely Generated Commutative Monoids
We study the semigroups isomorphic to principal ideals of finitely generated commutative monoids. We define the concept of finite presentation for this kind of semigroups. Furthermore, we show how to obtain information on these semigroups from their presentations.
متن کاملCoherence for braided and symmetric pseudomonoids
Presentations for unbraided, braided and symmetric pseudomonoids are defined. Biequivalences characterising the semistrict bicategories generated by these presentations are proven. It is shown that these biequivalences categorify results in the theory of monoids and commutative monoids, and are generalisations of standard coherence theorems for braided and symmetric monoidal categories.
متن کاملPresentations of Finitely Generated Submonoids of Finitely Generated Commutative Monoids
We give an algorithmic method for computing a presentation of any finitely generated submonoid of a finitely generated commutative monoid. We use this method also for calculating the intersection of two congruences on Np and for deciding whether or not a given finitely generated commutative monoid is t-torsion free and/or separative. The last section is devoted to the resolution of some simple ...
متن کاملCoherent Presentations of Structure Monoids and the Higman-thompson Groups
Structure monoids and groups are algebraic invariants of equational varieties. We show how to construct presentations of these objects from coherent categorifications of equational varieties, generalising several results of Dehornoy. We subsequently realise the higher Thompson groups Fn,1 and the Higman-Thompson groups Gn,1 as structure groups. We go on to obtain presentations of these groups v...
متن کاملModel Structures on Commutative Monoids in General Model Categories
We provide conditions on a monoidal model categoryM so that the category of commutative monoids in M inherits a model structure from M in which a map is a weak equivalence or fibration if and only if it is so inM. We then investigate properties of cofibrations of commutative monoids, rectification between E∞-algebras and commutative monoids, the relationship between commutative monoids and mono...
متن کاملOn Expressing Commutativity by Finite Church-Rosser Presentations: A Note on Commutative Monoids
— Let M be an infinité commutative monoid. Suppose that M has a Church-Rosser présentation. If M is cancellative or if the présentation is special then M is either the free cyclic group or the free cyclic monoid. Résumé. — Soit M un monoide commutatif infini. Supposons que M possède une présentation finie ayant la propriété de « Church-Rosser ». Si M est simplifiable ou si la présentation est s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IJAC
دوره 9 شماره
صفحات -
تاریخ انتشار 1999